首页> 外文OA文献 >On the Efficiency Modelling of Cryptographic Protocols by Means of the Quality of Protection Modelling Language (QoP-ML)

【2h】

On the Efficiency Modelling of Cryptographic Protocols by Means of the Quality of Protection Modelling Language (QoP-ML)

机译：利用保护建模语言（QoP-ML）的质量对加密协议进行效率建模

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Part 2: Asian Conference on Availability, Reliability and Security (AsiaARES)

机译：第2部分：亚洲可用性，可靠性和安全性会议（AsiaARES）

著录项

作者
Ksiezopolski, Bogdan; Rusinek, Damian; Wierzbicki, Adam;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. QoP-ML: Quality of protection modelling language for cryptographic protocols [J] . Bogdan Ksiezopolski Computers & Security . 2012,第4期

机译：QoP-ML：加密协议的保护建模语言的质量
2. The Modeling Library of Eavesdropping Methods in Quantum Cryptography Protocols by Model Checking [J] . Yang Fan, Yang Guowu, Hao Yujie International Journal of Theoretical Physics: A Journal of Original Research and Reviews in Theoretical Physics and Related Mathematics, Dedicated to the Unification of Physics . 2016,第7期

机译：通过模型检查在量子密码协议中进行窃听方法的模型库
3. Mechanized Verification of Cryptographic Security of Cryptographic Security Protocol Implementation in JAVA through Model Extraction in the Computational Model [J] . Zimao Li, Bo Meng, Dejun Wang, Journal of Software Engineering . 2015,第1期

机译：通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
4. On the Efficiency Modelling of Cryptographic Protocols by Means of the Quality of Protection Modelling Language (QoP-ML) [C] . Bogdan Ksiezopolski, Damian Rusinek, Adam Wierzbicki Information and communication technology . 2013

机译：利用保护建模语言（QoP-ML）的质量对加密协议进行效率建模
5. Security models in rewriting logic for cryptographic protocols and browsers. [D] . Sasse, Ralf. 2012

机译：密码协议和浏览器的重写逻辑中的安全模型。
6. Modeling hospital infrastructure by optimizing quality accessibility and efficiency via a mixed integer programming model [O] . David Ikkersheim, Marit Tanke, Gwendy van Schooten, 2013

机译：通过混合整数编程模型优化质量可访问性和效率为医院基础架构建模
7. On the Efficiency Modelling of Cryptographic Protocols by Means of the Quality of Protection Modelling Language (QoP-ML) [O] . Ksiezopolski, Bogdan, Rusinek, Damian, Wierzbicki, Adam 2013

机译：基于保护建模语言（QoP-ML）的质量的加密协议效率建模
8. Towards a Hierarchy of Cryptographic Protocol Models [R] . Meadows, C. 2003

机译：迈向密码协议模型的层次结构

On the Efficiency Modelling of Cryptographic Protocols by Means of the Quality of Protection Modelling Language (QoP-ML)

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅